SatisfiableQ

SatisfiableQ[bf] gives True if a combination of values of variables exists that makes the Boolean function bf yield True.

SatisfiableQ[expr,{a1,a2,…}] gives True if a combination of values of the ai exists that makes the Boolean expression expr yield True.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.